Nuprl Definition : Knd 11,40
Knd == (:IdLnk  Id) + Id 
latex

DefinitionsId, IdLnk
FDL editor aliasesKnd

origin